Important note: A number of problems in this test suite have no antiderivative in closed form. This means the antiderivative of these integrals can not be expressed in terms of elementary, special functions or Hypergeometric2F1 functions. RootSum and RootOf are not allowed.
If a CAS returns the above integral unevaluated within the time limit, then the result is counted as passed and assigned an A grade.
However, if CAS times out, then it is assigned an F grade even if the integral is not integrable, as this implies CAS could not determine that the integral is not integrable in the time limit.
If a CAS returns an antiderivative to such an integral, it is assigned an A grade automatically and this special result is listed in the introduction section of each individual test report to make it easy to identify as this can be important result to investigate.
The results given in in the table below reflects the above.
System | % solved | % Failed |
Rubi | 100.00 ( 340 ) | 0.00 ( 0 ) |
Mathematica | 100.00 ( 340 ) | 0.00 ( 0 ) |
Maple | 85.59 ( 291 ) | 14.41 ( 49 ) |
Fricas | 75.29 ( 256 ) | 24.71 ( 84 ) |
Giac | 70.00 ( 238 ) | 30.00 ( 102 ) |
IntegrateAlgebraic | 61.18 ( 208 ) | 38.82 ( 132 ) |
Mupad | 51.76 ( 176 ) | 48.24 ( 164 ) |
Maxima | 45.00 ( 153 ) | 55.00 ( 187 ) |
Sympy | 33.53 ( 114 ) | % 66.47 ( 226 ) |
The table below gives additional break down of the grading of quality of the antiderivatives generated by each CAS. The grading is given using the letters A,B,C and F with A being the best quality. The grading is accomplished by comparing the antiderivative generated with the optimal antiderivatives included in the test suite. The following table describes the meaning of these grades.
grade |
description |
A |
Integral was solved and antiderivative is optimal in quality and leaf size. |
B |
Integral was solved and antiderivative is optimal in quality but leaf size is larger than twice the optimal antiderivatives leaf size. |
C |
Integral was solved and antiderivative is non-optimal in quality. This can be due to one or more of the following reasons
|
F |
Integral was not solved. Either the integral was returned unevaluated within the time limit, or it timed out, or CAS hanged or crashed or an exception was raised. |
Grading is implemented for all CAS systems. Based on the above, the following table summarizes the grading for this test suite.
System | % A grade | % B grade | % C grade | % F grade |
Rubi | 100.00 | 0.00 | 0.00 | 0.00 |
Mathematica | 80.00 | 7.65 | 12.35 | 0.00 |
Maple | 69.12 | 10.59 | 5.88 | 14.41 |
Fricas | 66.18 | 9.12 | 0.00 | 24.71 |
Giac | 60.59 | 9.41 | 0.00 | 30.00 |
IntegrateAlgebraic | 59.41 | 1.18 | 0.59 | 38.82 |
Maxima | 38.53 | 6.47 | 0.00 | 55.00 |
Sympy | 25.00 | 8.53 | 0.00 | 66.47 |
Mupad | N/A | 51.76 | 0.00 | 48.24 |
The following is a Bar chart illustration of the data in the above table.
The figure below compares the CAS systems for each grade level.
The following table shows the distribution of the different types of failure for each CAS. There are 3 types of reasons why it can fail. The first is when CAS returns back the input within the time limit, which means it could not solve it. This the typical normal failure F .
The second is due to time out. CAS could not solve the integral within the 3 minutes time limit which is assigned F(-1).
The third is due to an exception generated. Assigned F(-2). This most likely indicates an interface problem between sagemath and the CAS (applicable only to FriCAS, Maxima and Giac) or it could be an indication of an internal error in CAS. This type of error requires more investigations to determine the cause.
System |
Number failed |
Percentage normal failure |
Percentage timeout failure |
Percentage exception failure |
Rubi |
0 |
0.00 % |
0.00 % |
0.00 % |
Mathematica |
0 |
0.00 % |
0.00 % |
0.00 % |
Maple |
49 |
100.00 % |
0.00 % |
0.00 % |
Fricas | 84 | 0.00 % | 58.33 % | 41.67 % |
IntegrateAlgebraic | 132 | 100.00 % | 0.00 % | 0.00 % |
Giac |
102 |
86.27 % |
0.00 % |
13.73 % |
Maxima |
187 |
100.00 % |
0.00 % |
0.00 % |
Sympy |
226 |
83.19 % |
16.81 % |
0.00 % |
Mupad |
164 |
100.00 % |
0.00 % |
0.00 % |